$r$ $\neq$ 0 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1$r$ $\neq$ 0$r$ $\in$ $\mid$$r$$\mid$